Burden of Henselian Valued Fields in the Denef–Pas Language

Motivated by the Ax–Kochen/Ershov principle, a large number of questions about Henselian valued fields have been shown to reduce analogous value group and residue field. In this article, we investigate burden in three-sorted Denef–Pas language. If T is theory admitting relative quantifier elimination (in any characteristic), show that equal sum burdens its As consequence, NTP2 if only field are; same true for statements “T strong” has finite burden.”